Uniform convergence spaces are simultaneously a generalisation of uniform spaces and a specialisation with extra structure of convergence spaces. That is, we have functors
both faithful and with also full. (Here we take the morphisms of and to be the uniformly continuous maps, while must use the continuous maps.)
The uniform properties of a metric space are determined entirely by the equivalence relation between infinite sequences through which sequences and are related iff the distance between them tends to zero:
An analogous result holds for a uniform space if one generalises from sequences to nets, as well as for metric spaces in constructive mathematics without weak countable choice. However, the relevant equivalence relation is not (directly) between two arbitrary nets but rather between two nets with the same directed set as domain. (This is because the limit above refers to a single index ; if we changed this to the limit as of , then we would get a partial equivalence relation that applies only to Cauchy sequences, and this would recover only the Cauchy structure and not the entire uniform structure.)
Rather than speak of two nets with the same domain, let us speak equivalently of a single net in the cartesian square . Then for a more manifestly small definition, let us speak of a filter on . So a uniform convergence structure on a set will be a collection of filters on . We will require this collection to satisfy certain properties; if we imposed enough properties, we could recover a definition of uniform space (or even of metrizable uniform space?), but some less stringent requirements yield the definition of uniform convergence space below.
Let be an abstract set, and let be a collection of filters on the cartesian square , called the asymptotic filters. We will consider various properties of such a structure below.
A collection that satisfies all of (1–6) below is a uniform convergence structure. If it satisfies at least (2–6), then it is is a base for a uniform convergence structure; if it satisfies at least (4–6), then it is a subbase for a uniform convergence structure. That said, we could start with a perfectly arbitrary collection and generate a subbase, then a base, then an entire structure.
If we use (6′) instead of (6), then this is a pointwise uniform convergence structure. If we drop (4), then we have a quasiuniform convergence structure. These also can have bases and subbases and be generated from an arbitrary collection of asymptotic filters.
A (pointwise) (quasi)-uniform convergence space is a set equipped with such a structure.
Here are the relevant properties:
Isotone: If (as filters on ) and is asymptotic, then is asymptotic.
Proper: There is an asymptotic filter. If (1) also holds, then we may equivalently say that the improper filter on is asymptotic. This is automatic if (6) holds but is independent of the other conditions; it almost follows from (6′), but only if is inhabited.
Filtered: If and are asymptotic filters, then there is an asymptotic filter contained in both and . If (1) also holds, then we may equivalently say that the intersection is asymptotic.
Symmetric: If is an asymptotic filter, then there is an asymptotic filter with the property that, whenever , its inverse (as a binary relation on ) belongs to . If (1) also holds, then we may equivalently say that the filter is asymptotic.
Transitive: If and are asymptotic filters, then there is an asymptotic filter with the property that, whenever , there are a natural number , an -tuple , and an -tuple such that (where indicates composition of binary relations on ). If (1) also holds, then we may equivalently say that the filter generated by is asymptotic.
Reflexive: There is an asymptotic filter with the property that each is reflexive as a binary relation on . If (1) also holds, then we may equivalently say that the collection of all reflexive relations (which is a filter) is asymptotic.
Although (6) as given here is in the original definition and is the proper nullary analogue of the binary (5), a weaker version is now more popular:
One reason for this is apparently to render the category of uniform convergence spaces cartesian closed. So presumably there are uniform convergence spaces and satisfying (6) such that the set of uniformly continuous maps from to can be given only a pointwise uniform convergence structure.
For the purposes of constructive mathematics, we can also consider another condition:
A (pointwise) (quasi)-uniform convergence structure/space that satisfies (7) may be called (quasi)-uniformly regular space|uniformly regular (although ‘(quasi)-uniformly locally decomposable’ would be more proper, since there is no reason why such a space should be regular, even in the symmetric case).
It is traditional to consider only proper asymptotic filters (or equivalently to consider only asymptotic nets), which allows one to leave out (2); but in that case (5) and (6) must be modified to apply only when the generated filters are proper: (5) applies only when each element of meets each element of , and (6), if used, applies only when is inhabited. So really, it is simpler to include the improper filter among the asymptotic filters.
The conditions (1,2,3,4,5,6,7) correspond respectively to the conditions (6,4,5,2,3,1,0) at uniform space (as of 2013-02-22, in case the latter are ever renumbered). However, (6′) has no direct analogue.
Among the terms defined (in boldface) above, I (Toby Bartels) invented ‘asymptotic filter’ and those involving ‘pointwise’ and ‘quasi‑’, because no appropriate terms appeared in the reference that I used. Possibly other terms appear in the literature (besides the fact that ‘pointwise’ may simply be left out). That said, my use of ‘quasi‑’ follows quasimetric and quasiuniform space, so it at least is probably correct. On the other hand, ‘asymptotic’ conflicts with the meaning of asymptotic function? in complexity theory (which is weaker, and in fact says that functions are asymptotic when their logarithms are asymptotic in our sense), although it matches the meaning of asymptote? in elementary analytic geometry. Finally, ‘pointwise’ was ‘weak’ in earlier versions of this page, until I changed it to have a more transparent meaning and avoid potential conflicts. (People say ‘weak uniform convergence’ in various contexts, but nobody ever says ‘pointwise uniform convergence’.)
Let and be pointwise uniform convergence spaces. A function from to is uniformly continuous if takes asymptotic filters only to asymptotic filters. Then is a uniform homeomorphism if is a bijection whose inverse is also uniformly continuous. We take the uniformly continuous functions to be the morphisms of a category whose objects are the uniform convergence spaces; then the uniform homeomorphisms are the isomorphisms of this category.
Now let and be pointwise quasiuniform spaces. The definitions above may be repeated with ‘quasiuniform’ instead of ‘uniform’. If we ever use ‘uniform’ with pointwise quasiuniform convergence spaces, this means to use the pointwise uniform convergence structure generated by the given pointwise quasiuniform convergence structure. (The pointwise uniform convergence structure generated by a quasiuniform convergence structure will be a uniform convergence structure, so we may leave ‘pointwise’ out of this paragraph entirely if so desired.)
Let be a pointwise uniform convergence space. A filter on is Cauchy if it is proper and (which is a filter on ) is asymptotic. Then the Cauchy filters on form a Cauchy structure that makes into a Cauchy space. If is a pointwise quasiuniform convergence space, then we may use the same definition. In any case, the result depends only on the generated uniform convergence structure.
Let be a pointwise uniform convergence space. A filter on converges to a point in if , where is the principal ultrafilter at (the collection of all subsets of to which belongs), is asymptotic; we may use instead and get the same result. Then this relation of convergence is a convergence structure that makes into a convergence space, and this convergence space will be reciprocal (). If is a pointwise quasiuniform convergence space, then we may use the same definition, but the result may no longer be reciprocal, and using instead will give a different convergence structure (and where converges to one way, converges to the other way). Nevertheless, the result depends only on the generated quasiuniform convergence structure.
The convergence space structure induced by the Cauchy structure induced by a pointwise uniform convergence space is the same as the convergence structure induced directly by the pointwise uniform convergence space. This fails for (pointwise) quasiuniform convergence spaces, but it remains true that every convergent filter is Cauchy. A pointwise qausiuniform convergence space is complete if, conversely, every Cauchy filter converges to at least one point. Also, the space is Hausdorff if every Cauchy filter (and hence every filter) converges to at most one point. The complete Hausdorff uniform convergence spaces form a reflective subcategory of , so every uniform convergence space has a Hausdorff completion?.
Let be a metric space and call an infinite sequence in asymptotic if, when viewed as a pair of infinite sequences in , these sequences satisfy the relation given in the Motivation above:
The eventuality filters of the asymptotic sequences in form a base for a uniform convergence structure. The same holds even if is only a pseudometric space or an extended metric space; but if is only a quasimetric space, then we get only a base for a quasiuniform convergence structure.
Now let be a uniform space and let a filter be asymptotic if every entourage belongs to it. Indeed, if is the collection of entourages, then is itself a filter on and is already a base for this uniform convergence structure. If is the underlying uniform space of a metric space, then this is the same uniform convergence structure as in the previous paragraph. If is only a quasiuniform space, then we get only a quasiuniform convergence structure.
Now let be a Cauchy space and let a filter on be subbasic asymptotic if for some Cauchy filter on . Then the subbasic asymptotic filters form a subbase for a uniform convergence structure, and the Cauchy structure induced by this uniform convergence structure agrees with the original Cauchy structure on .
Now let be a convergence space and let a filter on be subbasic asymptotic if for some convergent filter on . Then the subbasic asymptotic filters form a subbase for a quasiuniform convergence structure, which is a (pointwise) uniform convergence structure iff is reciprocal (). In any case, the convergence structure induced by this quasiuniform convergence structure agrees with the original convergence structure on .
If is a group object in the category of convergence spaces (that is, is both a convergence space and a group such the group operations are continuous), then there are two other ways to make into a uniform convergence space (left and right, which agree if is an abelian group), analogous to the ways in which a topological group becomes a uniform space. Specifically, let a net in be asymptotic if, when viewed as a pair of nets (with common domain) in , these nets satisfy a relation analogous to that for asymptotic sequences in a metric space above:
(on one side) or
(on the other side). The eventuality filters of the asymptotic nets in form a base for a uniform convergence structure; indeed, they are precisely the proper asymptotic filters. The convergence structure induced by this uniform convergence structure agrees with the original convergence structure on (which must be reciprocal, for essentially the same reason that the topology of a topological group must be). Probably one can get a quasiuniform convergence structure or four out of a monoid object in , but I haven't thought that through.
Pages 72–76 (in Part I) in
(This dissertation is not really about uniform convergence spaces, but it has the advantage of being free online.)
Last revised on November 16, 2022 at 21:59:52. See the history of this page for a list of all contributions to it.